contragredient representation

逆步表示